To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these objects and relationships as the discourse unfolds. We introduce a framework with these properties, which has been used to analyse mathematical dialogues and expository texts. The framework can recover salient elements of discourse at, and within, the sentence level, as well as the way mathematical content connects to form larger argumentative structures. (...) We show how the framework might be used to support computational reasoning, and argue that it provides a more natural way to examine the process of proving theorems than do Lamport’s structured proofs. (shrink)

In this paper, we contend that the “Smith case” in Gettier’s attempt to refute the justified true belief (JTB) account of knowledge does not work. This is because the said case fails to satisfy the truth condition, and thus is not a case of JTB at all. We demonstrate this claim using the framework of Donnellan’s distinction between the referential and attributive uses of definite descriptions. Accordingly, the truth value of Smith’s proposition “The man who will get the job has (...) ten coins in his pocket” partly depends on how Smith uses the definite description “the man who will get the job” when he utters the proposition. Since, upon uttering the proposition, Smith has in mind a particular individual, namely Jones, and not just whoever will fit the attribute specified in the definite description, Smith uses the definite description referentially. And so when it turns out that it is Smith who eventually gets the job, the definite description fails to refer to Jones as intended by Smith, thereby making Smith’s proposition false. To think that Smith’s proposition is still true, in this regard, is to use the definite description attributively—that it is about whoever will fit the definite description. Apparently, when Gettier claims that Smith’s proposition is still true, to demonstrate that it is a case of JTB, he, in effect, imposes his attributive understanding of Smith’s usage of the definite description on Smith’s own epistemic situation. (shrink)

In this paper, I endeavor to provide a critical examination of a recent pioneering work that engages Jean-Paul Sartre’s insights in analyzing social media interactions – Michael Lopato’s “Social media, love, and Sartre’s look of the other: Why online communication is not fulfilling?”. I shall show that in so far as Sartrean insights are concerned in Being and Nothingness, Lopato misconstrued what Sartre really meant with the Look of the Other and love, and is mistaken in appropriating such insights in (...) arguing that online interactions are not fulfilling. I shall proceed by first discussing Sartre’s third region of being which is being-for-others which will comprise of the Look of the Other and the two attitudes to retrieve one’s freedom. Second, I shall flesh out the arguments of Lopato. Lastly, I shall present my critique of Lopato’s arguments which constitutes my reply to his work. (shrink)

In this paper, I will argue that embodied presence and ultimate commitments are not necessary for the authenticity of online relationships. In the first section, I will present Hubert Dreyfus’s Kierkegaardian analysis of the Internet. In the second, I will show the different positions that disagree with Dreyfus. And finally, in the third, I will look into the distinction between human to human and human to nonhuman online interactions, the continuity or discontinuity of the online and the offline relationships of (...) persons, and the forms of the relationship that occurred. From that analysis, I will derive some cases that will show the inadequacies and problems of the conditions presented by Dreyfus. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

GRAF PAUL YORCK VON WARTENBURG I Origin of Contemporary Philosophy i . The Nineteenth Century a. the nature and growth of modern philosophy Modern ...

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Although clinical ethics consultation is a high-stakes endeavor with an increasing prominence in health care systems, progress in developing standards for quality is challenging. In this article, we describe the results of a pilot project utilizing portfolios as an evaluation tool. We found that this approach is feasible and resulted in a reasonably wide distribution of scores among the 23 submitted portfolios that we evaluated. We discuss limitations and implications of these results, and suggest that this is a significant step (...) on the pathway to an eventual certification process for clinical ethics consultants. (shrink)

The contingentist/inevitabilist debate contests whether the results of successful science are contingent or inevitable. This article addresses lingering ambiguity in the way contingency is defined in this debate. I argue that contingency in science can be understood as a collection of distinct concepts, distinguished by how they hold science contingent, by what elements of science they hold contingent, and by what those elements are contingent upon. I present a preliminary taxonomy designed to characterize the full-range positions available and illustrate that (...) these constitute a diverse array rather than a spectrum. (shrink)

The language of linear temporal logic can be interpreted on the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${\sf ITL}^{\sf c}_{\Diamond \forall }$, recently shown to be decidable by Fernández-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.